derivative of tetration of x